Milanova, Ana: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 2014 International Conference - Cracow, Poland (2014.09.23-2014.09.26)] Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14 - CFL-reachability and context-sensitive integrity types

Milanova, Ana, Huang, Wei, Dong, Yao

Year:

2014

Language:

english

File:

PDF, 920 KB

english, 2014

2

[ACM Press the 16th ACM SIGPLAN conference - Tampa Bay, FL, USA (2001.10.14-2001.10.18)] Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications - OOPSLA '01 - Points-to analysis for Java using annotated constraints

Rountev, Atanas, Milanova, Ana, Ryder, Barbara G.

Year:

2001

Language:

english

File:

PDF, 257 KB

english, 2001

3

[ACM Press the international symposium - Roma, Italy (2002.07.22-2002.07.24)] Proceedings of the international symposium on Software testing and analysis - ISSTA '02 - Parameterized object sensitivity for points-to and side-effect analyses for Java

Milanova, Ana, Rountev, Atanas, Ryder, Barbara G.

Year:

2002

Language:

english

File:

PDF, 202 KB

english, 2002

4

[ACM Press the 13th International Conference - Lugano, Switzerland (2016.08.29-2016.09.02)] Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools - PPPJ '16 - JCrypt

Dong, Yao, Milanova, Ana, Dolby, Julian

Year:

2016

Language:

english

File:

PDF, 368 KB

english, 2016

5

[ACM Press the 13th International Conference - Lugano, Switzerland (2016.08.29-2016.09.02)] Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools - PPPJ '16 - Inference and Checking of Object Immutability

Milanova, Ana, Dong, Yao

Year:

2016

Language:

english

File:

PDF, 394 KB

english, 2016

6

Composition inference for UML class diagrams

Journal:

Automated Software Engineering

Year:

2007

Language:

english

File:

PDF, 1.79 MB

english, 2007

7

[IEEE 2010 17th Working Conference on Reverse Engineering (WCRE) - Beverly, MA, USA (2010.10.13-2010.10.16)] 2010 17th Working Conference on Reverse Engineering - Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs

Milanova, Ana, Liu, Yin

Year:

2010

Language:

english

File:

PDF, 439 KB

english, 2010

8

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07) - Ownership and Immutability Inference for UML-Based Object Access Control

Liu, Yin, Milanova, Ana

Year:

2007

Language:

english

File:

PDF, 313 KB

english, 2007

9

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Static ownership inference for reasoning against concurrency errors

Milanova, Ana, Liu, Yin

Year:

2009

Language:

english

File:

PDF, 98 KB

english, 2009

10

[IEEE 2009 IEEE 17th International Conference on Program Comprehension (ICPC) - Vancouver, BC, Canada (2009.05.17-2009.05.19)] 2009 IEEE 17th International Conference on Program Comprehension - Practical static analysis for inference of security-related program properties

Yin Liu,, Milanova, Ana

Year:

2009

Language:

english

File:

PDF, 249 KB

english, 2009

11

[IEEE 2006 3rd International Conference on Broadband Communications, Networks and Systems - San Jose, CA, USA (2006.10.1-2006.10.5)] 2006 3rd International Conference on Broadband Communications, Networks and Systems - A Secure Programming Paradigm for Network Virtualization

Milanova, Ana, Fahmy, Sonia, Musser, David, Yener, Bulent

Year:

2006

Language:

english

File:

PDF, 2.02 MB

english, 2006

12

[ACM Press the 2015 International Symposium - Baltimore, MD, USA (2015.07.13-2015.07.17)] Proceedings of the 2015 International Symposium on Software Testing and Analysis - ISSTA 2015 - Scalable and precise taint analysis for Android

Huang, Wei, Dong, Yao, Milanova, Ana, Dolby, Julian

Year:

2015

Language:

english

File:

PDF, 718 KB

english, 2015

13

[ACM Press the 2004 ACM SIGSOFT international symposium - Boston, Massachusetts, USA (2004.07.11-2004.07.14)] Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 - Testing of java web services for robustness

Fu, Chen, Ryder, Barbara G., Milanova, Ana, Wonnacott, David

Year:

2004

Language:

english

File:

PDF, 258 KB

english, 2004

14

[ACM Press the ACM SIGSOFT 20th International Symposium - Cary, North Carolina (2012.11.11-2012.11.16)] Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12 - Inference and checking of context-sensitive pluggable types

Milanova, Ana, Huang, Wei

Year:

2012

Language:

english

File:

PDF, 791 KB

english, 2012

15

Parameterized object sensitivity for points-to analysis for Java

Milanova, Ana, Rountev, Atanas, Ryder, Barbara G.

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2005

Language:

english

File:

PDF, 404 KB

english, 2005

16

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - Precise identification of composition relationships for UML class diagrams

Year:

2005

Language:

english

File:

PDF, 194 KB

english, 2005

17

[ACM Press the ACM SIGSOFT 20th International Symposium - Cary, North Carolina (2012.11.11-2012.11.16)] Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12 - ReImInfer

Huang, Wei, Milanova, Ana

Year:

2012

Language:

english

File:

PDF, 801 KB

english, 2012

18

[ACM Press the 2006 conference of the Center for Advanced Studies - Toronto, Ontario, Canada (2006.10.16-2006.10.19)] Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research - CASCON '06 - Static analysis for dynamic coupling measures

Liu, Yin, Milanova, Ana

Year:

2006

Language:

english

File:

PDF, 189 KB

english, 2006

19

[ACM Press the 7th ACM SIGPLAN-SIGSOFT workshop - San Diego, California, USA (2007.06.13-2007.06.14)] Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 - Light context-sensitive points-to analysis for java

Year:

2007

Language:

english

File:

PDF, 150 KB

english, 2007

20

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - Reim & ReImInfer

Huang, Wei, Milanova, Ana, Dietl, Werner, Ernst, Michael D.

Year:

2012

Language:

english

File:

PDF, 877 KB

english, 2012

21

[ACM Press the 15th Workshop - Montpellier, France (2013.07.01-2013.07.01)] Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs - FTfJP '13 - Composing polymorphic information flow systems with reference immutability

Milanova, Ana, Huang, Wei

Year:

2013

Language:

english

File:

PDF, 584 KB

english, 2013

22

Reim & ReImInfer

Huang, Wei, Milanova, Ana, Dietl, Werner, Ernst, Michael D.

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 877 KB

english, 2012

23

Points-to analysis for Java using annotated constraints

Rountev, Atanas, Milanova, Ana, Ryder, Barbara G.

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 257 KB

english, 2001

24

Testing of java web services for robustness

Fu, Chen, Ryder, Barbara G., Milanova, Ana, Wonnacott, David

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 258 KB

english, 2004

25

[ACM Press the 23rd ACM SIGPLAN Symposium - Vienna, Austria (2018.02.24-2018.02.28)] Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '18 - SecureMR

Dong, Yao, Milanova, Ana, Dolby, Julian

Year:

2018

Language:

english

File:

PDF, 387 KB

english, 2018

26

[ACM Press the 5th Annual Symposium and Bootcamp - Raleigh, North Carolina (2018.04.10-2018.04.11)] Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security - HoTSoS '18 - SecureMR

Dong, Yao, Milanova, Ana, Dolby, Julian

Year:

2018

Language:

english

File:

PDF, 936 KB

english, 2018

27

14-3-3 proteins activate Pseudomonas exotoxins-S and -T by chaperoning a hydrophobic surface

Karlberg, Tobias, Hornyak, Peter, Pinto, Ana Filipa, Milanova, Stefina, Ebrahimi, Mahsa, Lindberg, Mikael, Püllen, Nikolai, Nordström, Axel, Löverli, Elinor, Caraballo, Rémi, Wong, Emily V., Näreoja,

Journal:

Nature Communications

Year:

2018

Language:

english

File:

PDF, 2.25 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски